Electronic Books

Total Books: 1 - 20 /63
978-3-540-31933-7
Active Mining

"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...

Continue reading
978-3-540-47922-2
Advances in Artificial Intelligence

The AI conference series is the premier event sponsored by the Canadian - ciety for the Computational Studies of Intelligence ...

Continue reading
978-3-540-30502-6
Advances in Computer Science - ASIAN 2004 Higher Level Decision Making

This book constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. ...

Continue reading
978-3-540-73435-2
Advances in Data Mining. Theoretical Aspects and Applications

The book range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications ...

Continue reading
978-3-540-73435-2
Advances in Data Mining. Theoretical Aspects and Applications

The book range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications ...

Continue reading
978-0-387-34747-9
Artificial Intelligence in Theory and Practice

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-3-030-79876-5
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

Continue reading
978-3-540-31864-4
Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

Continue reading
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Continue reading
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Continue reading
978-3-540-31934-4
CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...

Continue reading
978-1-84628-234-8
Cognitive Engineering

Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...

Continue reading
978-3-540-30200-1
Computational Logic in Multi-Agent Systems

Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...

Continue reading
978-3-540-31857-6
Computational Logic in Multi-Agent Systems (vol. # 3487)

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...

Continue reading
978-3-540-31897-2
Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Continue reading
978-3-540-45459-5
Computer Science Logic (vol. # 4207)

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Continue reading
978-3-540-87531-4
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

Continue reading
978-3-540-92243-8
Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Continue reading
978-3-540-31928-3
Constraint Solving and Language Processing

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...

Continue reading
978-3-540-72794-1
Coordination Models and Languages

he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...

Continue reading
Total Books: 1 - 20 /63